1. A multidisciplinary introduction to information security /
پدیدآورنده : [edited by] Stig F. Mjølsnes
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks-- Security measures,Computer security,Computers-- Access control,Multidisciplinary design optimization
رده :
QA76
.
9
.
A25
M845
2012
2. Achieving quality software :
پدیدآورنده : David J. Smith ; with a foreword by Paul W. Banks.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software -- Quality control.,Software engineering.
3. Achieving quality software : including its application to safety-related systems
پدیدآورنده : Smith, David J. )David John(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Software engineering,، Computer software -- Quality control,، System safety,، Software -- Quality control
رده :
QA
76
.
76
.
A35
1995
4. Advanced information systems engineering workshops :
پدیدآورنده : Marko Bajec, Johann Eder (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-aided software engineering -- Congresses.,Computer-aided software engineering.,Systems engineering -- Congresses.
رده :
QA76
.
76
.
A65
M375
2012
5. Advanced mathematical & computational tools in metrology & testing VIII
پدیدآورنده : editors, F. Pavese [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Measurement -- Congresses.,Metrology -- Congresses.,Physical measurements -- Congresses.
6. Advanced topics in exception handling techniques
پدیدآورنده : Christophe Dony ... ]et al.[ )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Computer software - Development,Congresses ، System design,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
76
.
D47
A373
7. Advances in Manufacturing Technology :
پدیدآورنده : edited by P.F. McGoldrick.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Science (General)
8. Advances in Manufacturing Technology :
پدیدآورنده : edited by P.F. McGoldrick.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Science (General)
رده :
TS176
.
E358
1986
9. Advances in computers.
پدیدآورنده : edited by Marshall C. Yovits.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
vol
.
20
10. Advances in conceptual modeling :
پدیدآورنده : Carson Woo, Jiaheng Lu, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Database design, Congresses.,Web databases, Congresses.,Data Mining and Knowledge Discovery.,Database Management.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Software Engineering.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Database design.,Databases.,Information retrieval.,Software Engineering.,Web databases.
رده :
QA76
.
9
.
D26
11. Advances in human factors, ergonomics, and safety in manufacturing and service industries
پدیدآورنده : editors, Waldemar Karwowski, Gavriel Salvendy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ergonomía.,Seguridad en el trabajo.
رده :
TA166
.
E358
2011
12. Advances in safety management and human factors :
پدیدآورنده : editor: Pedro M. Arezes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Industrial safety-- Management, Congresses.,System safety, Congresses.,BUSINESS & ECONOMICS-- Infrastructure.,Industrial safety-- Management.,SOCIAL SCIENCE-- General.,System safety.
رده :
T55
.
A1
13. Advances in safety, reliability and risk management :
پدیدآورنده : editors, Christophe Bérenguer & Antoine Grall, C. Guedes Soares.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Industrial safety -- Management -- Congresses.,Reliability (Engineering) -- Congresses.,System safety -- Congresses.
رده :
TS173
.
E358
2012
14. Algebraic specifications in software engineering :
پدیدآورنده : Ivo Van Horebeek
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
15. An integrated approach to software engineering
پدیدآورنده : Pankaj Jalote.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Génie logiciel.,Logiciels -- Développement.,Software engineering.
16. Application Development Systems :
پدیدآورنده : edited by Tosiyasu L. Kunii.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-aided design.,Engineering.,Physics.
رده :
QA76
.
9
.
S88
E358
1986
17. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
18. Asynchronous sequential machine design and analysis
پدیدآورنده : / Richard F. Tinder
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
رده :
E-BOOK
19. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
20. Automotive Systems Engineerin
پدیدآورنده : / edited by Markus Maurer, Hermann Winner
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering,Computer science,Engineering design,Electronic books
رده :
E-BOOK
